761. Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory-- Congresses,، Control theory-- Congresses,، Categories )Mathematics(-- Congresses
رده :
QA
267
.
C35
762. Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
پدیدآورنده: edited by E. G. Manes
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Control theory,Congresses ، Categories )Mathematics(
رده :
QA
267
.
C35
763. Category theory for computing science /
پدیدآورنده: Michael Barr, Charles Wells
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Categories (Mathematics),Computer science-- Mathematics
رده :
QA76
.
9
.
M35
B37
1990
764. Celestial calculations :
پدیدآورنده: J.L. Lawrence.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Astronomy-- Data processing.,Astronomy, Amateurs' manuals.,Astronomy-- Data processing.,Astronomy.,SCIENCE-- Astronomy.
رده :
QB64
.
L39
2019eb
765. Cell Formation in Industrial Engineerin
پدیدآورنده: / by Boris Goldengorin, Dmitry Krushinsky, Panos M. Pardalos
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science,Electronic books
رده :
E-BOOK
766. Cellular Automata, Dynamical Systems and Neural Networks
پدیدآورنده: edited by Eric Goles, Servet Martínez.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity.,Information theory.,Physics.
767. Cellular Automata and Discrete Complex Systems
پدیدآورنده: \ [Edited by] Teijiro Isokawa...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Cellular automata -- Congresses.,Computer science -- Mathematics -- Congresses.,ماشین‌های خودکار سلولی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
267
.
5
.
C45
2015
E-Book
,
768. Cellular Automata and Discrete Complex Systems
پدیدآورنده: \ Jarkko Kari (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Cellular automata -- Congresses.,Computer science -- Mathematics -- Congresses.,ماشین‌های خودکار سلولی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
267
.
5
.
C45
2015
E-Book
,
769. Cellular automata :
پدیدآورنده: Andrew Adamatzky, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cellular automata, Encyclopedias.,Cellular automata.
رده :
QA267
.
5
.
C45
770. Cellular automata and discrete complex systems :
پدیدآورنده: Alonso Castillo-Ramirez, Pedro P.B. de Oliveira (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cellular automata, Congresses.,Computer science-- Mathematics, Congresses.,Cellular automata.,Computer science-- Mathematics.
رده :
QA267
.
5
.
C45
771. Cellular automata and discrete complex systems :
پدیدآورنده: Jarkko Kari, Martin Kutrib, Andreas Malcher (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cellular automata, Congresses,Computer science-- Mathematics, Congresses,Software
رده :
QA267
.
5
.
C45
772. Central limit theorems and statistical inference for some random graph models
پدیدآورنده: Baaqeel, Hanan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: QA273 Probabilities
773. Certified Programs and Proofs :
پدیدآورنده: edited by Chris Hawblitzel, Dale Miller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
رده :
QA76
.
9
.
M35
E358
2012
774. Certified programs and proofs :
پدیدآورنده: Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
775. Chain event graphs /
پدیدآورنده: Rodrigo Collazo, Christiane Görgen, Jim Q. Smith.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Bayesian statistical decision theory.,Mathematical statistics-- Graphic methods.,Trees.,Bayesian statistical decision theory.,Mathematical statistics-- Graphic methods.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Trees (Graph theory)
رده :
QA279
.
5
776. Challenges of teaching with technology across the curriculum :
پدیدآورنده: [edited by] Lawrence A. Tomei
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer-assisted instruction, Handbooks, manuals, etc,Curriculum planning, Handbooks, manuals, etc,Educational technology, Handbooks, manuals, etc
رده :
LB1028
.
5
.
C478
2003
777. Chaos and fractals :
پدیدآورنده: edited by Clifford A. Pickover.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer graphics.,Fractals.,Computer graphics.,COMPUTERS-- Digital Media-- Graphics Applications.,COMPUTERS-- Image Processing.,Fractals.,PHOTOGRAPHY-- Techniques-- Digital.,TECHNOLOGY & ENGINEERING-- Imaging Systems.
رده :
T385
.
C453
1998eb
778. Chemical Instabilities
پدیدآورنده: edited by G. Nicolis, F. Baras.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Chemistry.
779. Cite right :
پدیدآورنده: Charles Lipson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Bibliographical citations.,Bibliography.,Writing.,Références bibliographiques.,Bibliographical citations.,Bibliographical citations.,Citeren.,Wissenschaftliches Manuskript,Wissenschaftliches Manuskript.,Zitat,Zitat.
رده :
PN171
.
F56
L55
2006
780. Cite right :a quick guide to citation styles--MLA, APA, Chicago, the sciences, professions, and more
پدیدآورنده: Lipson, Charles
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Bibliographical citations
رده :
PN
171
.
F56
L55
2006
